ftp://ftp.di.ens.fr/pub/users/longo/CategTypesStructures/book.pdf - CATEGORIES TYPES AND STRUCTURES, An Introduction to Category Theory for the working computer scientist
( Read more... )
С точки зрения теории категорий: As Sam progressively broadens the allowable definition of marriage, he quickly ends up with the problem of representing an arbitrary undirected graph in a relational database.
После чего я заржал и решил поделиться с общественностью. ;)